Ancient Egypt : an economist's view = Egypte ancienne : Point de vue d'un économisteWILKE, Thomas.Göttinger Miszellen. 2000, Num 178, pp 81-95, issn 0344-385XArticle

Ancient Lake Ohrid : biodiversity and evolutionALBRECHT, Christian; WILKE, Thomas.Hydrobiologia (The Hague). 2008, Vol 615, pp 103-140, issn 0018-8158, 38 p.Conference Paper

Life cycle, population dynamics and productivity of Ventrosia maritima in the Evros Delta (northern Aegean Sea)KEVREKIDIS, Theodoros; WILKE, Thomas.Journal of the Marine Biological Association of the United Kingdom. 2005, Vol 85, Num 2, pp 375-382, issn 0025-3154, 8 p.Article

Lack of phylogeographic structure in three widespread Australian birds reinforces emerging challenges in Australian historical biogeographyJOSEPH, Leo; WILKE, Thomas.Journal of biogeography. 2007, Vol 34, Num 4, pp 612-624, issn 0305-0270, 13 p.Article

Concurrent evolution of ancient sister lakes and sister species : the freshwater gastropod genus Radix in lakes Ohrid and PrespaALBRECHT, Christian; WOLFF, Christian; GLÖER, Peter et al.Hydrobiologia (The Hague). 2008, Vol 615, pp 157-167, issn 0018-8158, 11 p.Conference Paper

Testing two contrasting evolutionary patterns in ancient lakes : species flock versus species scatter in valvatid gastropods of Lake OhridHAUSWALD, Anne-Kathrin; ALBRECHT, Christian; WILKE, Thomas et al.Hydrobiologia (The Hague). 2008, Vol 615, pp 169-179, issn 0018-8158, 11 p.Conference Paper

The neglected side of speciation in ancient lakes : phylogeography of an inconspicuous mollusc taxon in lakes Ohrid and PrespaSCHULTHEISS, Roland; ALBRECHT, Christian; BÖSSNECK, Ulrich et al.Hydrobiologia (The Hague). 2008, Vol 615, pp 141-156, issn 0018-8158, 16 p.Conference Paper

When DNA puts ecological works back on the right track : Genetic assessment and distribution patterns of mudsnail populations in the Evros Delta lagoonsKEVREKIDIS, Theodoros; WILKE, Thomas; MOGIAS, Athanassios et al.Archiv für Hydrobiologie. 2005, Vol 162, Num 1, pp 19-35, issn 0003-9136, 17 p.Article

Independent evolution of migration on the South American landscape in a long-distance temperate-tropical migratory bird, Swainson's flycatcher (Myiarchus swainsoni)JOSEPH, Leo; WILKE, Thomas; ALPERS, Deryn et al.Journal of biogeography. 2003, Vol 30, Num 6, pp 925-937, issn 0305-0270, 13 p.Article

Nesting until and since in linear temporal logicTHERIEN, Denis; WILKE, Thomas.Lecture notes in computer science. 2002, pp 455-464, issn 0302-9743, isbn 3-540-43283-3Conference Paper

The birth of an endemic species flock: demographic history of the Bellamya group (Gastropoda, Viviparidae) in Lake MalawiSCHULTHEISS, Roland; WILKE, Thomas; JØRGENSEN, Aslak et al.Biological Journal of the Linnean Society. 2011, Vol 102, Num 1, pp 130-143, issn 0024-4066, 14 p.Article

The Great Lakes in East Africa : biological conservation considerations for species flocksSTURMBAUER, Christian.Hydrobiologia (The Hague). 2008, Vol 615, pp 95-101, issn 0018-8158, 7 p.Conference Paper

Automata-based analysis of recursive cryptographic protocolsKÜSTERS, Ralf; WILKE, Thomas.Lecture notes in computer science. 2004, pp 382-393, issn 0302-9743, isbn 3-540-21236-1, 12 p.Conference Paper

Deciding the first level of the μ-calculus alternation hierarchyKÜSTERS, Ralf; WILKE, Thomas.Lecture notes in computer science. 2002, pp 241-252, issn 0302-9743, isbn 3-540-00225-1, 12 p.Conference Paper

Linear temporal logic and finite semigroupsWILKE, Thomas.Lecture notes in computer science. 2001, pp 96-110, issn 0302-9743, isbn 3-540-42496-2Conference Paper

A Dolev-Yao-Based Definition of Abuse-Free ProtocolsKÄHLER, Detlef; KUSTERS, Ralf; WILKE, Thomas et al.Lecture notes in computer science. 2006, pp 95-106, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

State space reductions for alternating Büchi automata: quotienting by simulation equivalencesFRITZ, Carsten; WILKE, Thomas.Lecture notes in computer science. 2002, pp 157-168, issn 0302-9743, isbn 3-540-00225-1, 12 p.Conference Paper

Patterns of freshwater biodiversity in Europe: lessons from the spring snail genus BythinellaBENKE, Mandy; BRÄNDLE, Martin; ALBRECHT, Christian et al.Journal of biogeography. 2011, Vol 38, Num 10, pp 2021-2032, issn 0305-0270, 12 p.Article

Patterns and Processes of Speciationn in Ancient LakesWILKE, Thomas; VÄNÖLÄ, Risto; RIEDEL, Frank et al.Hydrobiologia (The Hague). 2008, Vol 615, issn 0018-8158, 237 p.Conference Proceedings

Fair simulation relations, parity games, and state space reduction for büchi automataETESSAMI, Kousha; WILKE, Thomas; SCHULLER, Rebecca A et al.SIAM journal on computing (Print). 2005, Vol 34, Num 5, pp 1159-1175, issn 0097-5397, 17 p.Article

Memoryless determinacy of parity gamesKÜSTERS, Half.Lecture notes in computer science. 2002, pp 95-106, issn 0302-9743, isbn 3-540-00388-6, 12 p.Conference Paper

Alternating tree automata and parity gamesKIRSTEN, Daniel.Lecture notes in computer science. 2002, pp 153-167, issn 0302-9743, isbn 3-540-00388-6, 15 p.Conference Paper

Complementation of Büchi automata using alternationKLAEDTKE, Felix.Lecture notes in computer science. 2002, pp 61-77, issn 0302-9743, isbn 3-540-00388-6, 17 p.Conference Paper

Some fixed point basicsFRITZ, Carsten.Lecture notes in computer science. 2002, pp 359-364, issn 0302-9743, isbn 3-540-00388-6, 6 p.Conference Paper

Decidability of S1S and S2SWEYER, Mark.Lecture notes in computer science. 2002, pp 207-230, issn 0302-9743, isbn 3-540-00388-6, 24 p.Conference Paper